Knowledge-based proof planning
نویسندگان
چکیده
منابع مشابه
Knowledge-Based Project Planning
Project management is a business process for successfully delivering one-of-a kind products and services under real-world time and resource constraints. Developing a project plan, a crucial element of project management, is a difficult task that requires significant experience and expertise. Interestingly, artificial intelligence researchers have developed both mixed-initiative and automated hi...
متن کاملPlanning and Proof Planning
The paper adresses proof planning as a specific AI planning. It describes some peculiarities of proof planning and discusses some possible cross-fertilization of planning and proof planning.
متن کاملMEGA From Proof Planning towards Mathematical Knowledge Management
Higher Order Natural Deduction Proof Object Maintenance of proof developments at different layers of granularity which are connected to each other September 25th, 2003 – p.7 Source: Autexier, Benzmüller Proof Data Structure MEGA Main References [CheikhrouhouSorge-ACIDCA-00] Overview on PDS [SiekmannEtAl-35yAutomath] Working with PDS Discussion + Support for proof development at different levels...
متن کاملInduction Based on Rippling and Proof Planning
I n p u t : ( g r o u n d ) c o n u e n t s e t R , e q u a t i o n s L , e q u a t i o n s C .
متن کاملProof Planning
We describe proof planning, a technique for the global control of search in automatic theorem proving. A proof plan captures the common patterns of reasoning in a family of similar proofs and is used to guide the search for new proofs in this family. Proof plans are very similar to the plans constructed by plan formation techniques. Some differences are the nonpersistence of objects in the math...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 1999
ISSN: 0004-3702
DOI: 10.1016/s0004-3702(99)00076-4